System Design Visualizations for Synthesizing Intent Specifications

نویسندگان

  • STEPHANIE SHARO CHIESI
  • Stephanie Sharo Chiesi
چکیده

Today’s aerospace industry is faced not only with the challenges of developing spacecraft and supporting technologies to explore the unknown, but they must do so successfully with tighter budgets and fewer personnel. Mission failure causes publicity that the industry cannot afford in this economy. To maintain project schedules and prevent budget overruns, problems in the spacecraft system design must be found early in the development stages. An approach to using existing system design visualizations to aid system verification and validation in the early design stages is described. These commonly used system design visualizations are used to create and intent specification in a systems engineering development environment known as SpecTRM. The intent specification is executable and analyzable, allowing system design flaws and requirements problems to be determined prior to any hardware or coding development. An example of the utilization of these system design visualizations to create an intent specification is applied to the mobility and positioning system (MAPS) of a robot designed to process thermal tiles on the space shuttle. Thesis Supervisor: Dr. Nancy G. Leveson Professor of Aeronautics and Astronautics

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An Intent Specifications Model for a Robotic Software Control System

Intent specifications are a new way to structure specifications to support human problem solving, system and software development and evolution, traceability, and specification of design rationale. An intent specification provides a hierarchical abstraction based on intent ("why") in addition to the usual "what" and "how." For a given system being specified, an intent specification defines seve...

متن کامل

Empirical Evaluation of Design Principles for Increasing Reviewability of Formal Requirements Specifications through Visualization

As software systems become more pervasive in the aerospace industry, new techniques need to be developed that allow engineers to accurately review and understand the complex requirements specifications of these software systems. Several visualizations that provide a different view of formal specifications are proposed based on the experience of trying to manage the complexity of the MD-i 1 flig...

متن کامل

Behavior and Design Intent Based Product Modeling

A knowledge based modeling of mechanical products is presented for industrial CAD/CAM systems. An active model is proposed that comprise knowledge from modeling procedures, generic part models and engineers. Present day models of mechanical systems do not contain data about the background of human decisions. This situation motivated the authors at their investigations on exchange design intent ...

متن کامل

DVCon 2012: 131-II287: Low Power SoC Verification: IP Reuse and Hierarchical Composition using UPF

Power management is a critical feature of today’s SoCs, almost as important as functionality. IEEE 1801TM-2009 UPF enables specification of the intended power management infrastructure for an SoC to enable early verification and to drive implementation. Just as the complexity of an SoC demands a well-structured hierarchical approach to design and verification of its functional specification, th...

متن کامل

Provenance of Exploratory Tasks in Scientific Visualization: Management and Applications

Visualization has emerged as an effective means to quickly obtain insight from raw data. While simple computer programs can generate simple visualizations, and while there has been constant progress in sophisticated algorithms and techniques for generating insightful pictorial descriptions of complex data, the process of building visualizations remains a major bottleneck in data exploration. In...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004